% not yet
@misc{anastasatospropagation,
  title={Propagation Algorithms for the Alldifferent Constraint},
  author={Anastasatos, Basileios}
}
@article{van2001alldifferent,
  title={The alldifferent constraint: A survey},
  author={Van Hoeve, Willem-Jan},
  journal={arXiv preprint cs/0105015},
  year={2001}
}
% not yet
@inproceedings{simonis2005sudoku,
  title={Sudoku as a constraint problem},
  author={Simonis, Helmut},
  booktitle={CP Workshop on modeling and reformulating Constraint Satisfaction Problems},
  volume={12},
  pages={13--27},
  year={2005},
  organization={Citeseer}
}
% not yet
@inproceedings{lynce2006sudoku,
  title={Sudoku as a SAT Problem.},
  author={Lynce, In{\^e}s and Ouaknine, Jo{\"e}l},
  booktitle={ISAIM},
  year={2006}
}
% not yet
@inproceedings{lardeux2008managing,
  title={Managing Multiple Alldifferent Constraints in CSP and SAT},
  author={Lardeux, Fr{\'e}d{\'e}ric and Monfroy, Eric and Saubion, Fr{\'e}d{\'e}ric},
  booktitle={Annual ERCIM Workshop, CSCLP 2008},
  year={2008}
}
% not yet
@inproceedings{regin1994filtering,
  title={A filtering algorithm for constraints of difference in CSPs},
  author={R{\'e}gin, Jean-Charles},
  booktitle={AAAI},
  volume={94},
  pages={362--367},
  year={1994}
}
@inproceedings{lardeux2008overlapping,
  title={Overlapping Alldifferent constraints and the Sudoku puzzle},
  author={Lardeux, Fr{\'e}d{\'e}ric and Monfroy, Eric and Saubion, Fr{\'e}d{\'e}ric and Crawford, Broderick and Castro, Carlos},
  booktitle={34th Conferencia Latinoamericana de Informatica (CLEI’08)},
  year={2008}
}
@book{rossi2006handbook,
  title={Handbook of constraint programming},
  author={Rossi, Francesca and Van Beek, Peter and Walsh, Toby},
  year={2006},
  publisher={Elsevier}
}
@article{golomb1965backtrack,
  title={Backtrack programming},
  author={Golomb, Solomon W and Baumert, Leonard D},
  journal={Journal of the ACM (JACM)},
  volume={12},
  number={4},
  pages={516--524},
  year={1965},
  publisher={ACM New York, NY, USA}
}
@article{prosser1993hybrid,
  title={Hybrid algorithms for the constraint satisfaction problem},
  author={Prosser, Patrick},
  journal={Computational intelligence},
  volume={9},
  number={3},
  pages={268--299},
  year={1993},
  publisher={Wiley Online Library}
}
